Scalable online first-order monitoring
نویسندگان
چکیده
Abstract Online monitoring is the task of identifying complex temporal patterns while incrementally processing streams data-carrying events. Existing state-of-the-art monitors for first-order patterns, which may refer to and quantify over data values, can process modest velocity in real-time. We show how scale up substantially higher velocities by slicing stream, based on events’ into substreams that be monitored independently. Because not embarrassingly parallel general, lead duplication. To reduce this overhead, we adapt hash-based partitioning techniques from databases setting. implement these an automatic slicer Apache Flink empirically evaluate its performance using two tools—MonPoly DejaVu—to monitor substreams. Our evaluation attests substantial scalability improvements both tools.
منابع مشابه
From Propositional to First-Order Monitoring
The main purpose of this paper is to introduce a first-order temporal logic, LTL, and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show that monitoring a specification in LTL boils down to an undecidable decision problem. The proof of this result revolves around specific ideas on what we consider a “proper” monitor. As these ...
متن کاملA Monitoring Metric First-order Temporal Properties
Runtime monitoring is a general approach to verifying system properties at runtime by comparing system events against a specification formalizing which event sequences are allowed. We present a runtime monitoring algorithm for a safety fragment of metric first-order temporal logic that overcomes the limitations of prior monitoring algorithms with respect to the expressiveness of their property ...
متن کاملPolicy Monitoring in First-Order Temporal Logic
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We report on case studies in security and compliance monitoring and use these to show the adequacy of our specification language for naturally expressing complex, realistic policies and the practical feasibility of monitoring t...
متن کاملFirst and Second Order Methods for Online Convolutional Dictionary Learning
Convolutional sparse representations are a form of sparse representation with a structured, translation invariant dictionary. Most convolutional dictionary learning algorithms to date operate in batch mode, requiring simultaneous access to all training images during the learning process, which results in very high memory usage, and severely limits the training data that can be used. Very recent...
متن کاملRuntime Monitoring of Metric First-order Temporal Properties
We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first-order temporal logic that is considerably more expressive than the logics supported by prior monitoring methods. Our approach, based on automatic structures, allows the unrestricted use of negation, universal and existential qu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2021
ISSN: ['1433-2779', '1433-2787']
DOI: https://doi.org/10.1007/s10009-021-00607-1